The jEdit splash screen is currently 'always on top'. Sometimes, it takes jEdit a
lot of time to start, and during this time the splash screen hides a large portion
of the screen and prevents me from working with other applications.
I know I can get rid of the splash screen, but I am interested in it, and in being
able to check the startup progress.
| Submitted | shlomy - 2012-09-11 08:28:17 | Assigned | shlomy |
|---|---|---|---|
| Priority | 5 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2012-12-27 15:59:38 kerik-sf |
same splash screen but with space below for progress message nativesplash.png (69.0Kio) |
|---|---|
| 2012-12-27 16:00:12 kerik-sf |
patch hacked from git format-patch |
| 2012-12-27 16:00:52 kerik-sf |
here is a patch to use java6 native splash screen.
|
